package tarantula.experiment.math;

import junit.framework.TestCase;

public class MathFailedTestsSimpleTestsBug2 extends TestCase {
	public void test2() throws Throwable {

	    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
	    org.apache.commons.math.complex.Complex var1 = var0.getZero();
	    org.apache.commons.math.complex.Complex var2 = var1.sinh();
	    org.apache.commons.math.complex.Complex var3 = var0.getZero();
	    org.apache.commons.math.complex.Complex var4 = var1.sinh();
	    org.apache.commons.math.complex.Complex var5 = var1.add(var1);
	    org.apache.commons.math.complex.Complex var6 = var1.asin();
	    
	    // Checks the contract:  equals-hashcode on var1 and var6
	    assertTrue("Contract failed: equals-hashcode on var1 and var6", var1.equals(var6) ? var1.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var2 and var6
	    assertTrue("Contract failed: equals-hashcode on var2 and var6", var2.equals(var6) ? var2.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var6
	    assertTrue("Contract failed: equals-hashcode on var3 and var6", var3.equals(var6) ? var3.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var6
	    assertTrue("Contract failed: equals-hashcode on var4 and var6", var4.equals(var6) ? var4.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var5 and var6
	    assertTrue("Contract failed: equals-hashcode on var5 and var6", var5.equals(var6) ? var5.hashCode() == var6.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var1
	    assertTrue("Contract failed: equals-hashcode on var6 and var1", var6.equals(var1) ? var6.hashCode() == var1.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var2
	    assertTrue("Contract failed: equals-hashcode on var6 and var2", var6.equals(var2) ? var6.hashCode() == var2.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var3
	    assertTrue("Contract failed: equals-hashcode on var6 and var3", var6.equals(var3) ? var6.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var4
	    assertTrue("Contract failed: equals-hashcode on var6 and var4", var6.equals(var4) ? var6.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var6 and var5
	    assertTrue("Contract failed: equals-hashcode on var6 and var5", var6.equals(var5) ? var6.hashCode() == var5.hashCode() : true);

	  }
	
	public void test3() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    org.apache.commons.math.complex.Complex var1 = org.apache.commons.math.complex.ComplexUtils.polar2Complex((double)var0, (double)var0);
	    org.apache.commons.math.complex.Complex var2 = var1.cos();
	    org.apache.commons.math.complex.Complex var3 = var1.cosh();
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }
	
	 public void test6() throws Throwable {

		    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
		    org.apache.commons.math.complex.Complex var1 = var0.getZero();
		    org.apache.commons.math.complex.Complex var2 = var1.sinh();
		    org.apache.commons.math.complex.Complex var3 = var1.asin();
		    
		    // Checks the contract:  equals-hashcode on var1 and var3
		    assertTrue("Contract failed: equals-hashcode on var1 and var3", var1.equals(var3) ? var1.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var2 and var3
		    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var1
		    assertTrue("Contract failed: equals-hashcode on var3 and var1", var3.equals(var1) ? var3.hashCode() == var1.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var2
		    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

		  }
	 
	 public void test7() throws Throwable {

		    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
		    org.apache.commons.math.complex.Complex var1 = var0.getZero();
		    org.apache.commons.math.complex.Complex var2 = var1.conjugate();
		    
		    // Checks the contract:  equals-hashcode on var1 and var2
		    assertTrue("Contract failed: equals-hashcode on var1 and var2", var1.equals(var2) ? var1.hashCode() == var2.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var2 and var1
		    assertTrue("Contract failed: equals-hashcode on var2 and var1", var2.equals(var1) ? var2.hashCode() == var1.hashCode() : true);

		  }
	 
	 public void test9() throws Throwable {

		    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
		    org.apache.commons.math.complex.Complex var1 = var0.getZero();
		    org.apache.commons.math.complex.Complex var2 = var1.exp();
		    org.apache.commons.math.complex.Complex var3 = var1.cos();
		    org.apache.commons.math.complex.Complex var4 = var1.add(var1);
		    
		    // Checks the contract:  equals-hashcode on var2 and var3
		    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var2
		    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

		  }
	 
	 public void test10() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    org.apache.commons.math.complex.Complex var1 = org.apache.commons.math.complex.ComplexUtils.polar2Complex((double)var0, (double)var0);
		    org.apache.commons.math.complex.Complex var2 = var1.cos();
		    org.apache.commons.math.complex.Complex var3 = var1.cosh();
		    
		    // Checks the contract:  equals-hashcode on var2 and var3
		    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var2
		    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

		  }
	 
	 public void test12() throws Throwable {

		    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
		    org.apache.commons.math.complex.Complex var1 = var0.getZero();
		    org.apache.commons.math.complex.Complex var2 = var1.sinh();
		    org.apache.commons.math.complex.Complex var3 = var1.conjugate();
		    
		    // Checks the contract:  equals-hashcode on var1 and var3
		    assertTrue("Contract failed: equals-hashcode on var1 and var3", var1.equals(var3) ? var1.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var2 and var3
		    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var1
		    assertTrue("Contract failed: equals-hashcode on var3 and var1", var3.equals(var1) ? var3.hashCode() == var1.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var2
		    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

		  }
	 
	 public void test16() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    org.apache.commons.math.complex.Complex var1 = org.apache.commons.math.complex.ComplexUtils.polar2Complex((double)var0, (double)var0);
		    org.apache.commons.math.complex.ComplexField var2 = org.apache.commons.math.complex.ComplexField.getInstance();
		    org.apache.commons.math.complex.Complex var3 = var2.getZero();
		    org.apache.commons.math.complex.Complex var4 = var1.subtract(var1);
		    org.apache.commons.math.complex.Complex var5 = var1.sinh();
		    org.apache.commons.math.complex.Complex var6 = var1.asin();
		    
		    // Checks the contract:  equals-hashcode on var1 and var6
		    assertTrue("Contract failed: equals-hashcode on var1 and var6", var1.equals(var6) ? var1.hashCode() == var6.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var6
		    assertTrue("Contract failed: equals-hashcode on var3 and var6", var3.equals(var6) ? var3.hashCode() == var6.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var4 and var6
		    assertTrue("Contract failed: equals-hashcode on var4 and var6", var4.equals(var6) ? var4.hashCode() == var6.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var5 and var6
		    assertTrue("Contract failed: equals-hashcode on var5 and var6", var5.equals(var6) ? var5.hashCode() == var6.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var6 and var1
		    assertTrue("Contract failed: equals-hashcode on var6 and var1", var6.equals(var1) ? var6.hashCode() == var1.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var6 and var3
		    assertTrue("Contract failed: equals-hashcode on var6 and var3", var6.equals(var3) ? var6.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var6 and var4
		    assertTrue("Contract failed: equals-hashcode on var6 and var4", var6.equals(var4) ? var6.hashCode() == var4.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var6 and var5
		    assertTrue("Contract failed: equals-hashcode on var6 and var5", var6.equals(var5) ? var6.hashCode() == var5.hashCode() : true);

		  }

		  public void test17() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    org.apache.commons.math.complex.Complex var1 = org.apache.commons.math.complex.ComplexUtils.polar2Complex((double)var0, (double)var0);
		    org.apache.commons.math.complex.Complex var2 = var1.cos();
		    org.apache.commons.math.complex.Complex var3 = var1.exp();
		    org.apache.commons.math.complex.Complex var4 = var1.exp();
		    org.apache.commons.math.complex.Complex var5 = var1.multiply(var1);
		    
		    // Checks the contract:  equals-hashcode on var2 and var3
		    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var2 and var4
		    assertTrue("Contract failed: equals-hashcode on var2 and var4", var2.equals(var4) ? var2.hashCode() == var4.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var2
		    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var4 and var2
		    assertTrue("Contract failed: equals-hashcode on var4 and var2", var4.equals(var2) ? var4.hashCode() == var2.hashCode() : true);

		  }

		  public void test18() throws Throwable {

		    org.apache.commons.math.complex.ComplexField var0 = org.apache.commons.math.complex.ComplexField.getInstance();
		    org.apache.commons.math.complex.Complex var1 = var0.getZero();
		    org.apache.commons.math.complex.Complex var2 = var0.getZero();
		    org.apache.commons.math.complex.Complex var3 = var1.conjugate();
		    
		    // Checks the contract:  equals-hashcode on var1 and var3
		    assertTrue("Contract failed: equals-hashcode on var1 and var3", var1.equals(var3) ? var1.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var2 and var3
		    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var1
		    assertTrue("Contract failed: equals-hashcode on var3 and var1", var3.equals(var1) ? var3.hashCode() == var1.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var3 and var2
		    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

		  }
}
